type binop = Add | Sub | Mult | Div | Rmndr | Innrp | Equal | Neq | Less | Leq |
Greater | Geq | Land | Lor

type uop = Minus | Not
